1. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
2. Complete theories
پدیدآورنده : Robinson, Abraham PH. D.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Metamathematics,، Algebra, Abstract
رده :
BC
135
.
R6
3. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
4. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده : Robinson, Abraham
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
